functor F(A:sig end) =
struct
  val x : int
end
